41. Developments in language theory :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Engineering & Applied Sciences.,Formal languages -- Congresses.,Formal languages.

رده :
QA267
.
3
M375
2013

42. Discrete mathematics /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science-- Mathematics, Outlines, syllabi, etc.,Computer science, Problems, exercises, etc.-- Mathematics.,Mathematics, Outlines, syllabi, etc.,Mathematics, Problems, exercises, etc.,Mathematics.,Computer science-- Mathematics.,Computer science.,Mathematics.

رده :
QA162
.
L767
2007

43. Emergent computation :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Bioinformatics.,Biomedical engineering.,Medical informatics.,Biomedical Engineering.,Computational Biology-- methods.,Computers, Molecular.,Medical Informatics.,Models, Genetic.,Bio-informatique.,Génie biomédical.,Médecine-- Informatique.,Bioinformatics.,Bioinformatics.,Bio-informatique.,Biomedical engineering.,Biomedical engineering.,Computational Biology-- methods.,Computers, Molecular.,Génie biomédical.,Médecine-- Informatique.,Medical informatics.,Medical informatics.,Models, Genetic.,Physique.,SCIENCE-- Life Sciences-- Molecular Biology.

رده :
R856
.
S47
2005

44. Encyclopedia of Computer Science and Technology /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Information technology, Encyclopedias.,Computation.,Networks.,Software Engineering & Systems Development.,Information technology.

رده :
T58
.
5
.
E53
2017

45. Enumerability · Decidability Computability

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Mathematics.

46. Feynman Lectures On Computation /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Physics.,Physics.

رده :
QC21
.
3

47. Formal models, languages and applications /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Compilers (Computer programs),Computational complexity.,Formal languages.,Compilers (Computer programs),Computational complexity.,COMPUTERS-- Programming Languages-- General.,Formal languages.

رده :
QA267
.
3
.
F698
2006eb

48. From calculus to computers :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Mathematics-- History

49. From literature to biterature :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence,Computers and civilization,Language and languages-- Philosophy,Literature and technology,Literature-- Philosophy,Philosophy of mind,Social evolution,Artificial Intelligence,Cultural Evolution,Culture

رده :
QA76
.
9
.
C66
S938
2013

50. From newspeak to cyberspeak : a history of Soviet cybernetics

پدیدآورنده :

کتابخانه: کتابخانه دانشکده مطالعات جهان دانشگاه تهران (تهران)

موضوع : Cybernetics

رده :
Q
305
.
G47
2002

51. Fundamentals of discrete math for computer science :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science-- Mathematics

رده :
QA76
.
9
.
M35
J46
2013

52. Giants of computing :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science-- History,Computer scientists, Biography

رده :
QA76
.
2
.
A2
O74
2013

53. Grundlagen der Information

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Electronic data processing.,Computer science.,Electronic data processing.,Informatik,Information.,Informationstheorie,Informationstheorie, 0 Gesamtdarstellung.,Mathematik

54. Handbook of Formal Languages Volume 3 Beyond Words

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

رده :
QA267
.
3
G794
2013

55. IPython Interactive Computing and Visualization Cookbook, Second Edition :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Command languages.,Information visualization.,Interactive computer systems.,Python.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Data capture & analysis.,Information visualization.,Information visualization.,Interactive computer systems.

رده :
QA76
.
73
.
P98
.
R677
2018

56. Intelligent information and database systems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence, Congresses.,Database management, Congresses.,Artificial intelligence.,Database management.

رده :
Q334
.
A85
2019

57. Introduction to computability

پدیدآورنده :

موضوع : ، Turing machines,، Algorithms,، Computational complexity,، Recursive functions

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

58. Introduction to computability

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Turing machines,، Algorithms,، Computational complexity,، Recursive functions

رده :
QA
267
.
H46

59. Introduction to computer theory /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Electronic digital computers.,Computers.,Automatentheorie.,Automates.,Electronic digital computers.,Fundamentele informatica.,Ordinateurs.

رده :
QA76
.
5
.
C558
1997

60. Introduction to deep learning :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence-- Mathematics.,Machine learning.,Neural networks (Computer science),Coding theory & cryptology.,Coding theory.,Computer science.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Database Management-- Data Mining.,Computers-- Information Theory.,Data mining.,Data mining.,Image processing.,Image processing.,Mathematical modelling.,Mathematics-- Applied.,Neural networks (Computer science),Pattern perception.,Pattern recognition.

رده :
QA76
.
9
.
D343